Solidity与其它语言相关的特点

Solidity是一种智能合约高级语言,运行在Ethereum虚拟机(EVM)之上。

它的语法接近于Javascript,是一种面向对象的语言。但作为一种真正意义上运行在网络上的去中心合约,它又有很多的不同,下面列举一些:

  • 以太坊底层是基于帐户,而非UTXO的,所以有一个特殊的Address的类型。用于定位用户,定位合约,定位合约的代码(合约本身也是一个帐户)。
  • 由于语言内嵌框架是支持支付的,所以提供了一些关键字,如payable,可以在语言层面直接支持支付,而且超级简单。
  • 存储是使用网络上的区块链,数据的每一个状态都可以永久存储,所以需要确定变量使用内存,还是区块链
  • 运行环境是在去中心化的网络上,会比较强调合约或函数执行的调用的方式。因为原来一个简单的函数调用变为了一个网络上的节点中的代码执行,分布式的感觉。
  • 最后一个非常大的不同则是它的异常机制,一旦出现异常,所有的执行都将会被回撤,这主要是为了保证合约执行的原子性,以避免中间状态出现的数据不一致。

基本要素概览

  • 合约类似面向对象语言中的类 - Class
  • 支持继承

每个合约中可包含状态变量(State Variables)函数(Functions),函数修饰符(Function Modifiers),事件(Events),结构类型(Structs Types)枚举类型(Enum Types)

状态变量(State Variables)

变量值会永久存储在合约的存储空间

1
2
3
4
5
6
7
8
9
pragma solidity ^0.4.0;
// simple store example
contract simpleStorage{
uint valueStore; //state variable
}
函数(Functions)

智能合约中的一个可执行单元。

1
2
3
4
5
6
7
8
pragma solidity ^0.4.0;
contract simpleMath{
//Simple add function,try a divide action?
function add(uint x, uint y) returns (uint z){
z = x + y;
}
}

上述示例展示了一个简单的加法函数。

函数调用可以设置为内部(Internal)的和外部(External)的。同时对于其它合约的不同级别的可见性和访问控制(Visibility and Accessors),具体的情况详见后面类型中关于函数的章节中关于函数修饰符的介绍。

事件(Events)

事件是以太坊虚拟机(EVM)日志基础设施提供的一个便利接口。用于获取当前发生的事件。

1
2
3
4
5
6
7
8
9
pragma solidity ^0.4.0;
contract SimpleAuction {
event aNewHigherBid(address bidder, uint amount);
function bid(uint bidValue) external {
aNewHigherBid(msg.sender, msg.value);
}
}
结构体类型(Structs Types)

自定义的将几个变量组合在一起形成的类型。详见关于结构体相关章节。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
pragma solidity ^0.4.0;
contract Company {
//user defined `Employee` struct type
//group with serveral variables
struct employee{
string name;
uint age;
uint salary;
}
//User defined `manager` struct type
//group with serveral variables
struct manager{
employee employ;
string title;
}
}
枚举类型

特殊的自定义类型,类型的所有值可枚举的情况。详情见后续相关章节。

1
2
3
4
5
pragma solidity ^0.4.0;
contract Home {
enum Switch{On,Off}
}